// ---------- string properties ----------


//Dutch textstrings
var st_1 = 'Mijn filmcollectie is voor het laatst gewijzigd op ';
var st_2 = 'onbekende datum';

//English textstrings
//var st_1 = 'My moviecollection was last modified on ';
//var st_2 = 'unknown date';

  
// ---------- end of properties ----------


function date_format(d)
{
  var day = d.getDate();
  var m = d.getMonth();
  var year = d.getFullYear();
  var maand = new Array("januari","februari","maart","april","mei","juni","juli","augustus","september","oktober","november","december");
  var month = new Array("January","February","March","April","May","June","July","August","September","October","November","December");


  return day + " " + maand[m] + " " + year; //Little endian date format Dutch(NL)
  //return day + " " + month[m] + " " + year; //Little endian date format English(UK)
  //return month[m] + " " + day + ", " + year; //Middle endian date format(USA)
  //return year + " " + month[m] + " " + day; //Big endian date format(Asia)
}

function date_lastmodified()
{
  var lmd = document.lastModified;
  var d1;

  if(0 != (d1=Date.parse(lmd)))
  {
    st_2 = date_format(new Date(d1));
  }
  return st_2;
}

document.write(st_1 + date_lastmodified());